#include "IfxStm_reg.h"
#include <stdint.h>
uint64_t Tricore_NanoTime(void)
{
    uint64_t counter = MODULE_STM0.TIM0.U;
    counter |= (MODULE_STM0.CAP.U << 32u);
    return counter*10;
}